Analysing Rational Properties of Change Operators Based on Forward Chaining
نویسندگان
چکیده
We propose an abstract framework to analyse the rationality of change operators deened in a syntactical way. More precisely we propose \syntactical" postulates of rationality stemming from AGM ones. Then we introduce ve change operators based on forward chaining. Finally we apply our abstract framework to analyse the rationality of our operators.
منابع مشابه
Type-2 Fuzzy Hybrid Expert System For Diagnosis Of Degenerative Disc Diseases
One-third of the people with an age over twenty have some signs of degenerated discs. However, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. This paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...
متن کاملDecomposition and Analysis of Driving Forces of GHG Emissions and Emission Reduction Potentials in Iran
Climate change cannot control unless by reduction of GHG emissions to secure level, therefore it is important to identify driving forces and possible scenarios based on targets. In this research, the Logarithmic Mean Divisia Index decomposition approach in combination with Extended Kaya Identity (EKI) are applied to investigate five factors could affect emissions during 1971-2012 in Iran. Thes...
متن کاملExpert system for flood management in Lake Manapouri
Flood water in Lake Manapouri is released according to strictly formulated flood rules. B e Realtime Flood Assistant is an expert system which incorporates Lake Manapouri flood rules and the txperience of the control room operators at Transpower NZ Ltd. to assist them in the release of flood water. The expert system is being developed in Level5 Object. The program is mainly an event-driven syst...
متن کاملOn some inferences based on stratified forward chaining: An application to e-Government
This paper introduces first an expert system shell based on stratified forward chaining. The stratified forward chaining was proposed as a generalization for the inheritance networks with exception since it allows more than one antecedent in the premises part of a rule. Expert systems built with this tool are rule based and the user interface is web based. The practical use of this chaining is ...
متن کاملBackward inference and pruning for RDF change detection using RDBMS
Recent studies on change detection for RDF data have focused on minimizing the delta size and, as a way to exploit the semantics of RDF models in reducing the delta size, the forward-chaining inferences have been widely employed. However, since the forwardchaining inferences should pre-compute the entire closure of the RDF model, the existing approaches are not scalable to large RDF data sets. ...
متن کامل